<?php
session_start();
	if((!isset($_SESSION['hallpass']))||($_SESSION['hallpass']==false))
	{
		$_SESSION['error'] = "not_auth";
		header('Location: error_page.php');
	}

unset($_SESSION['login']);
header('Location: ../index.php');
session_destroy();
$_SESSION['hallpass'] = false;
?>